Development and verification of PWR core transient coupling calculation software

A deterministic and Monte Carlo coupling method for PWR cavity radiation streaming calculation

Coupling Design and Verification in Software Product Lines

a new algorithm and software of individual life insurance and annuity computation

چکیده ندارد.

Investigation of PWR core optimization using harmony search algorithms

This work addresses applications of the classical harmony search (HS), improved harmony search (IHS) and the harmony search with differential mutation based pith adjustment (HSDM) to PWR core reloading pattern optimization problems. Proper loading pattern of fuel assemblies (FAs) depends on both neutronic and thermal–hydraulic aspects; obtaining optimal arrangement of fuel assemblies, FA, in a ...

The Benefits of Formal Software Verification for Software Development

The aim of the diploma thesis is to evaluate the benefit of formal verification for software development. As basis the work of Feinerer [2005] is used. There already various tools are compared and their use for software development is explained. This paper is extended with an economic component for a more general discussion. The economic component consists of a comparsion of software process mo...